机译:动态发展的并发信息系统规范和验证:基于组件的Petri网建议
机译:基于Petri网的方法,以引发组件交互相关的安全要求在安全关键系统中
机译:连接器体系结构的通用方法第二部分:Petri网和CSP的实例化
机译:信息系统的动态交互 - 组件培养网上的织造建筑连接器
机译:Petri网分解及其在动力系统性能评估与控制中的应用
机译:使用Petri网工具研究生物系统的特性和动力学
机译:动态发展的并发信息系统规范和验证:基于组件的Petri网建议
机译:使用随机高级petri网建模并行和分布式系统中的硬件 - 软件交互。